Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
181	Fast Contextual Preference Scoring of Database Tuples Kostas Stefanidis Evaggelia Pitoura Department of Computer Science Add to Reading List Source URL: www.cs.uoi.gr Language: English - Date: 2012-09-27 05:13:36 Software Data management Computing Relational model Mathematical notation Tuple Type theory Relation Join FO Extensible Storage Engine
182	c 2005 Cambridge University Press JFP 15 (6), Meta-Programming through Typeful Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-06-23 21:20:00 Software engineering Theoretical computer science Logic Logic programming Models of computation Functional languages Computability theory Lambda calculus Substitution Standard ML Higher-order abstract syntax Security type system
183	527 Documenta Math. Semigroup Properties for the Second Fundamental Form Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2010-08-26 14:51:45 Algebra Abstract algebra Mathematics Operator theory Semigroup theory Semigroup Harmonic analysis Beltrami equation Singular integral operators of convolution type
184	Gradual Typing with Efficient Object Casts Michael M. Vitousek Department of Computer Science, University of Colorado at Boulder Space-efficiency in gradually-typed objects Gradual object structure Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:49 Software engineering Computing Computer programming Type theory Data types Object-oriented programming languages Scripting languages Object-oriented programming Gradual typing Type system Type safety ActionScript
185	Comparison of Kalman Filter Type and Variational Data Assimilation Approaches for Operational Hydrology Dirk Schwanenberg (Deltares, University of Duisburg-Essen), Rodolfo Alvarado Montero (University of Duisburg-Essen), Add to Reading List Source URL: hepex.irstea.fr Language: English - Date: 2016-06-20 15:28:29 Statistics Estimation theory Statistical theory Control theory Robot control Linear filters Bayesian statistics Kalman filter Data assimilation Covariance Particle filter Extended Kalman filter
186	newsflash Simon ! mice ! -1 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-12-15 12:39:25 Type theory Mathematical logic Inductive type Structure Logic Inductive reasoning
187	Some remarks on Bisimulation and Coinduction Davide Sangiorgi University of Bologna Email: http://www.cs.unibo.it/˜ sangio/ Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:07 Theoretical computer science Mathematics Software engineering Coinduction Bisimulation Robin Milner Type theory Simulation preorder
188	Polytypic Programming in Coq Wendy Verbruggen ∗ Edsko de Vries Arthur Hughes Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Software engineering Type theory Declarative programming Computing Generic programming Polytypic Polymorphism Map Lambda calculus Dependent type Fold CurryHoward correspondence
189	Introduction to Type Theory Herman Geuvers Radboud University Nijmegen, The Netherlands Technical University Eindhoven, The Netherlands 1 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-09-23 10:50:36 Mathematics Mathematical logic Theoretical computer science Computability theory Proof theory Logic in computer science Type theory Logic programming Lambda calculus CurryHoward correspondence Substitution Generalised Whitehead product
190	CSE 341, Winter 2013, Assignment 1 Due: Wednesday January 16, 11:00PM You will write 11 SML functions (and tests for them) related to calendar dates. In all problems, a “date” is an SML value of type intintint, whe Add to Reading List Source URL: courses.cs.washington.edu Language: English - Date: 2013-01-11 23:17:39 Software engineering Programming language theory Computer programming Procedural programming languages Functional languages C ALGOL 68 INT ML Ordinal date Struct Higher-order function

UPDATE